General elements and joint reductions.
نویسندگان
چکیده
منابع مشابه
General Domain Circumscription and its Effective Reductions
We rst deene general domain circumscription (GDC) and provide it with a semantics. GDC subsumes existing domain circumscription proposals in that it allows varying of arbitrary predicates, functions, or constants, to maximize the minimization of the domain of a theory. We then show that for the class of semi-universal theories without function symbols, that the domain circumscription of such th...
متن کاملStanley Decompositions, Pretty Clean Filtrations and Reductions modulo Regular Elements
We study the behavior of Stanley decompositions and of pretty clean filtrations under reduction modulo a regular element.
متن کاملLabels from Reductions: Towards a General Theory
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
متن کاملReductions of the general virus detection problem
Ferenc Leitold has graduated at Technical University of Budapest in 1991. He received his Ph.D. at Technical University of Budapest too, in 1997 in the theme of computer viruses. Currently he teaches in the Department of Information Systems at Veszprém University. He teaches computer programming, computer security and computer networks. His research interest is based on computer viruses: mathem...
متن کاملGeneral joint hypermobility and temporomandibular joint derangement in adolescents.
Joint mobility was assessed in each member of an epidemiological sample of 96 girls and 97 boys, 17 years old, and graded by means of the hypermobility score of Beighton et al. Twenty two per cent of the girls and 3% of the boys could perform five or more of the nine manoeuvres. The prevalence of symptoms and signs of internal derangement in the temporomandibular joint was higher in adolescents...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Michigan Mathematical Journal
سال: 1988
ISSN: 0026-2285
DOI: 10.1307/mmj/1029003751